Specifying a Global Optimization Solver in Z
نویسندگان
چکیده
NumConSol is an interval-based numerical constraint and optimization solver to find a global optimum of a function. It is written in Python. In this document, we specify the NumConSol solver in Z, a formal specification language based on sets and predicates. The aim is to provide a solid foundation for restructuring and refactoring the current implementation of the NumConSol solver as well as facilitating its future improvements. The formal specification also allows us to design more effective testing for the solver, e.g., generating test cases from the specification.
منابع مشابه
Packing ellipsoids by nonlinear optimization
In this paper, continuous and differentiable nonlinear programming models and algorithms for packing ellipsoids in the n-dimensional space are introduced. Two different models for the non-overlapping and models for the inclusion of ellipsoids within half-spaces and ellipsoids are presented. By applying a simple multi-start strategy combined with a clever choice of starting guesses and a nonline...
متن کاملVariable Neighbourhood Search for the Global Optimization of Constrained NLPs
We report on the theory and implementation of a global optimization solver for general constrained nonlinear programming problems based on Variable Neighbourhood Search, and we give comparative computational results on several instances of continuous nonconvex problems. Compared to an efficient multi-start global optimization solver, the VNS solver proposed appears to be significantly faster.
متن کاملGAMS/LGO Nonlinear Solver Suite: Key Features, Usage, and Numerical Performance
The LGO solver system integrates a suite of efficient global and local scope optimization strategies. LGO can handle complex nonlinear models under ‘minimal’ (continuity) assumptions. The LGO implementation linked to the GAMS modeling environment has several new features, and improved overall functionality. In this article we review the solver options and the usage of GAMS/LGO. We also present ...
متن کاملAerodynamic Design Optimization Using Genetic Algorithm (RESEARCH NOTE)
An efficient formulation for the robust shape optimization of aerodynamic objects is introduced in this paper. The formulation has three essential features. First, an Euler solver based on a second-order Godunov scheme is used for the flow calculations. Second, a genetic algorithm with binary number encoding is implemented for the optimization procedure. The third ingredient of the procedure is...
متن کاملScatter Search and Local NLP Solvers: A Multistart Framework for Global Optimization
T algorithm described here, called OptQuest/NLP or OQNLP, is a heuristic designed to find global optima for pure and mixed integer nonlinear problems with many constraints and variables, where all problem functions are differentiable with respect to the continuous variables. It uses OptQuest, a commercial implementation of scatter search developed by OptTek Systems, Inc., to provide starting po...
متن کامل